Systems analysis

Results: 12418



#Item
111Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Add to Reading List

Source URL: www.cs.bham.ac.uk.

Language: English - Date: 2010-04-20 09:42:28
    1122017 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM POWER & MOBILITY (P&M) TECHNICAL SESSION AUGUST 8-10, NOVI, MICHIGAN Noise and Vibration Analysis of Zero Rare-Earth Magnet Integrated

    2017 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM POWER & MOBILITY (P&M) TECHNICAL SESSION AUGUST 8-10, NOVI, MICHIGAN Noise and Vibration Analysis of Zero Rare-Earth Magnet Integrated

    Add to Reading List

    Source URL: events.esd.org

    Language: English - Date: 2017-08-08 13:29:58
      113ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

      ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

      Add to Reading List

      Source URL: cri.mines-paristech.fr

      Language: English - Date: 2015-03-30 04:19:54
        114Ph.D. students Marta Capiluppi, CASY, DEIS, University of Bologna, Italy, “Functional analysis of distributed systems using structural graphs” Gianluca Lucente, CASY, DEIS, University of Bologna, Italy, “Modelling

        Ph.D. students Marta Capiluppi, CASY, DEIS, University of Bologna, Italy, “Functional analysis of distributed systems using structural graphs” Gianluca Lucente, CASY, DEIS, University of Bologna, Italy, “Modelling

        Add to Reading List

        Source URL: www.casy.deis.unibo.it

        Language: English - Date: 2011-05-13 09:19:54
          115Performance Analysis of Convolutionally Coded DS-CDMA Systems with Spatial and Temporal Channel Correlations Jie Lai and Narayan B. Mandayam Wireless Information Network Laboratory (WINLAB) Department of Electrical & Com

          Performance Analysis of Convolutionally Coded DS-CDMA Systems with Spatial and Temporal Channel Correlations Jie Lai and Narayan B. Mandayam Wireless Information Network Laboratory (WINLAB) Department of Electrical & Com

          Add to Reading List

          Source URL: www.winlab.rutgers.edu

          Language: English - Date: 2002-12-20 09:41:48
            116A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: II – The Method and Numerical Examples ∗ Dan Negrut¸† MSCsoftware, 2300 Traverwood Drv., Ann Arbor, MI 48105.

            A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: II – The Method and Numerical Examples ∗ Dan Negrut¸† MSCsoftware, 2300 Traverwood Drv., Ann Arbor, MI 48105.

            Add to Reading List

            Source URL: homepages.cae.wisc.edu

            - Date: 2003-06-21 13:24:40
              117TED MUELHAUPT ASSOCIATE PRINCIPAL DIRECTOR Ted Muelhaupt is the associate principal director of the Systems Analysis and Simulation Subdivision (SASS) at The Aerospace Corporation, working out of

              TED MUELHAUPT ASSOCIATE PRINCIPAL DIRECTOR Ted Muelhaupt is the associate principal director of the Systems Analysis and Simulation Subdivision (SASS) at The Aerospace Corporation, working out of

              Add to Reading List

              Source URL: aerospace.wpengine.netdna-cdn.com

              - Date: 2018-03-21 12:47:14
                118Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis∗ Stefan Schupp Johanna Nellen

                Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis∗ Stefan Schupp Johanna Nellen

                Add to Reading List

                Source URL: qapl17.doc.ic.ac.uk

                - Date: 2017-04-20 09:16:43
                  119Advanced Design, Analysis and Verification of NoC Architectures Abstract Communication fabrics are critical for the quality (correctness, performance, energy, reliability) and fast integration of future computer systems

                  Advanced Design, Analysis and Verification of NoC Architectures Abstract Communication fabrics are critical for the quality (correctness, performance, energy, reliability) and fast integration of future computer systems

                  Add to Reading List

                  Source URL: pact2014.pactconf.org

                  - Date: 2014-05-09 16:35:14
                    120Trace-Based Run-Time Analysis of Message-Passing Go Programs Martin Sulzmann and Kai Stadtm¨ uller Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

                    Trace-Based Run-Time Analysis of Message-Passing Go Programs Martin Sulzmann and Kai Stadtm¨ uller Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

                    Add to Reading List

                    Source URL: www.home.hs-karlsruhe.de

                    - Date: 2017-09-25 07:27:31